  <html>
<head>
<title>COLORE - ontology repository: Time</title>
<link rel="stylesheet" type="text/css" href="/colore/colore.css" />
</head>
<body>
<div id="header">
	<font size="30"><center><a href="/colore/index.html">COLORE</a></center></font>
	</div>
<div id="content">
<h1>Time Ontologies</h1>
	<hr width="100%"/>
<a href="partial-ordering.xml">Partial Orderings</a><br>
<a href="semilinear-ordering.xml">Semilinear Orderings</a><br>
<a href="forest.xml">Forests</a><br>
<a href="tree.xml">Trees</a><br>
<a href="dense-partial.xml">Dense Partial Orderings</a><br>
<a href="discrete-partial.xml">Discrete Partial Orderings</a><br>
<a href="dense-semilinear.xml">Dense Semilinear Orderings</a><br>
<a href="discrete-semilinear.xml">Discrete Semilinear Orderings</a><br>
<a href="linear-ordering.xml">Linear Orderings</a><br>
<a href="dense-linear.xml">Dense Linear Orderings</a><br>
<a href="discrete-linear.xml">Discrete Linear Orderings</a><br>
<a href="noinitial.xml">Partial Orderings without Initial Elements</a><br>
<a href="nofinal.xml">Partial Orderings without Final Elements</a><br>
<a href="infinite-ordering.xml">Linear Orderings without Endpoints</a><br>

</div>
</body>
</html>
